@ECHO OFF


REM ECHO Removing any class files in ..\test_java_util\
REM DEL ..\test_java_util\*.class


ECHO Compiling Collections classes...

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/AbstractCollection.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/AbstractList.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/AbstractMap.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/AbstractQueue.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/AbstractSequentialList.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/AbstractSet.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/ArrayDeque.java

REM NB! Throws exception in compiler!
REM java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/ArrayList.java

REM NB! Throws exception in compiler!
REM java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Arrays.java

REM NB! Nondeterministic behaviour (sometimes compiles, sometimes does not)!
REM java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/BitSet.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Collection.java

REM NB! Throws exception in compiler!
REM java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Collections.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Comparator.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/ConcurrentModificationException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/CurrencyData.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Deque.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Dictionary.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/DuplicateFormatFlagsException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/EmptyStackException.java

REM NB! Nondeterministic behaviour (sometimes compiles, sometimes does not)!
REM java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/EnumMap.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/EnumSet.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Enumeration.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/EventListener.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/EventListenerProxy.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/EventObject.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/FormatFlagsConversionMismatchException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/FormattableFlags.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/FormatterClosedException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/HashMap.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/HashSet.java

REM NB! Error to do with @AssignsFields.
REM java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Hashtable.java

REM NB! Error to do with implementing clone().
REM java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/IdentityHashMap.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/IllegalFormatCodePointException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/IllegalFormatConversionException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/IllegalFormatException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/IllegalFormatFlagsException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/IllegalFormatPrecisionException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/IllegalFormatWidthException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/InputMismatchException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/InvalidPropertiesFormatException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Iterable.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Iterator.java

REM NB! Nondeterministic behaviour (sometimes compiles, sometimes does not)!
REM java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/JumboEnumSet.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/LinkedHashMap.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/LinkedHashSet.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/LinkedList.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/List.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/ListIterator.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/LocaleISOData.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Map.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/MissingFormatArgumentException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/MissingFormatWidthException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/MissingResourceException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/NavigableMap.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/NavigableSet.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/NoSuchElementException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Observable.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Observer.java

REM NB! Throws exception in compiler!
REM java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/PriorityQueue.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Queue.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Random.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/RandomAccess.java

REM NB! Casting error.
REM java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/RegularEnumSet.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/ServiceConfigurationError.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Set.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/SortedMap.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/SortedSet.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Stack.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/StringTokenizer.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/TimerTask.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/TooManyListenersException.java

REM NB! Casting error.
REM java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/TreeMap.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/TreeSet.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/UnknownFormatConversionException.java

java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/UnknownFormatFlagsException.java

REM NB! Throws exception in compiler!
REM java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/Vector.java

REM NB! Weird generics error. Checkers?
REM java -Xbootclasspath/p:..\..\..\..\JSR308-Checkers\langtools\dist\lib\classes.jar -cp ..\..\..\..\JSR308-Checkers\checkers\checkers.jar;..\;..\src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker -implicit:none ../test_java_util/WeakHashMap.java

ECHO Finished compiling Collections classes.


REM TODO: Convert the following to Windows Shell commands if possible or install UNIX utilities.
REM ECHO Number of Collections classes compiled:
REM grep "^java -X" compile-collections.sh | wc -l
REM ECHO Number of Collections classes NOT compiled:
REM grep "^REM java -X" compile-collections.sh | wc -l
REM ECHO Total number of Collections classes:
REM ls ../test_java_util/*.java | wc -l


CMD /K ECHO Finished.
